Free shipping on all orders! No minimum purchase required.
From Software Engineering to Formal Methods and Tools, and Back
by Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor), Laura Semini (Editor)
